This approach can verify program correctness approximately, or generate a set of test cases according to some coverage criterion in software testing 它可以近似地验证程序的正确性,也可以依据软件测试的标准,按某种覆盖度要求生成测试用例。
In software testing, the design of generating cases testing, which is based on the requirement and design of the software, is the key point as well as a difficult one . to select a set of right cases, the full coverage criteria must be set up first 而测试用例的生成设计又是软件测试过程中的难点和重点所在,而它的主要依据应该来自于软件需求和软件设计,其中要涉及到测试用例的充分性覆盖准则问题。
The model testing process : first, making the space structure of the uml statechart into two-dimensional structure of tfg; secondly, with the test coverage criteria covering tfg, we can get the test sequences of events according with the transition of the state 该模型的测试过程是,首先,把空间结构的uml状态图转换为易于分析的平面结构图?tfg;其次,使用分支覆盖标准覆盖tfg图,得到符合状态迁移的消息事件测试序列。